The Feature Oriented Reuse Method with Business Component Semantics

FORM, which was developed at Pohand University of Science and Technology (POSTECH) in South Korea, is a systematic method that looks for and captures commonalities and variabilities of a product line in terms of “features”. The results of the analysis are used to develop reusable product line assets (architectures and components). This method includes techniques and tools for product line engineering but has a loose structure since it does not provide guidance to reuse and rigorously analyze its assets. This paper extends the semantic of FORM assets in order to specify conceptual reusable business components in FORM. For this purpose, we used the model proposed by Ramadour, which introduces the notion of “context” to guide conception and reuse of business components. The Z notation is used to provide a framework for rigorous analysis of the reusable business components produced.